More from this Author

Theorem Proving in Higher Order Logics

by Mark D. Aagaard (Editor), John Harrison (Editor)

Formal Methods in Computer-Aided Design

by Mark D. Aagaard (Editor), John W. O'Leary (Editor)